digraph {
	"0x5030000012a0" [label = "{ Nodetype: Operation | TypeOperation: / | 0x5030000012a0 | { 0x503000001270 | 0x503000000700 } }", fontsize = 18, style = filled, fillcolor = crimson, shape = Mrecord]
	"0x5030000012a0" -> "0x503000001270"
	"0x503000001270" [label = "{ Nodetype: Operation | TypeOperation: - | 0x503000001270 | { 0x503000001240 | 0x503000000d60 } }", fontsize = 18, style = filled, fillcolor = crimson, shape = Mrecord]
	"0x503000001270" -> "0x503000001240"
	"0x503000001240" [label = "{ Nodetype: Operation | TypeOperation: * | 0x503000001240 | { 0x503000001210 | 0x503000000ee0 } }", fontsize = 18, style = filled, fillcolor = crimson, shape = Mrecord]
	"0x503000001240" -> "0x503000001210"
	"0x503000001210" [label = "{ Nodetype: Operation | TypeOperation: * | 0x503000001210 | { 0x5030000011e0 | 0x503000001090 } }", fontsize = 18, style = filled, fillcolor = crimson, shape = Mrecord]
	"0x503000001210" -> "0x5030000011e0"
	"0x5030000011e0" [label = "{ Nodetype: Operation | TypeOperation: / | 0x5030000011e0 | { 0x5030000011b0 | 0x5030000010c0 } }", fontsize = 18, style = filled, fillcolor = crimson, shape = Mrecord]
	"0x5030000011e0" -> "0x5030000011b0"
	"0x5030000011b0" [label = "{ Nodetype: Num | Num: 1.00 | 0x5030000011b0 | { (nil) | (nil) } }", fontsize = 18, style = filled, fillcolor = lightskyblue, shape = Mrecord]
	"0x5030000011e0" -> "0x5030000010c0"
	"0x5030000010c0" [label = "{ Nodetype: Operation | TypeOperation: + | 0x5030000010c0 | { 0x5030000010f0 | 0x503000001180 } }", fontsize = 18, style = filled, fillcolor = crimson, shape = Mrecord]
	"0x5030000010c0" -> "0x5030000010f0"
	"0x5030000010f0" [label = "{ Nodetype: Operation | TypeOperation: * | 0x5030000010f0 | { 0x503000001120 | 0x503000001150 } }", fontsize = 18, style = filled, fillcolor = crimson, shape = Mrecord]
	"0x5030000010f0" -> "0x503000001120"
	"0x503000001120" [label = "{ Nodetype: Num | Num: 5.00 | 0x503000001120 | { (nil) | (nil) } }", fontsize = 18, style = filled, fillcolor = lightskyblue, shape = Mrecord]
	"0x5030000010f0" -> "0x503000001150"
	"0x503000001150" [label = "{ Nodetype: Variable | Var: x | 0x503000001150 | { (nil) | (nil) } }", fontsize = 18, style = filled, fillcolor = green, shape = Mrecord]
	"0x5030000010c0" -> "0x503000001180"
	"0x503000001180" [label = "{ Nodetype: Num | Num: 2.00 | 0x503000001180 | { (nil) | (nil) } }", fontsize = 18, style = filled, fillcolor = lightskyblue, shape = Mrecord]
	"0x503000001210" -> "0x503000001090"
	"0x503000001090" [label = "{ Nodetype: Operation | TypeOperation: + | 0x503000001090 | { 0x503000000fa0 | 0x503000000f10 } }", fontsize = 18, style = filled, fillcolor = crimson, shape = Mrecord]
	"0x503000001090" -> "0x503000000fa0"
	"0x503000000fa0" [label = "{ Nodetype: Num | Num: 5.00 | 0x503000000fa0 | { (nil) | (nil) } }", fontsize = 18, style = filled, fillcolor = lightskyblue, shape = Mrecord]
	"0x503000001090" -> "0x503000000f10"
	"0x503000000f10" [label = "{ Nodetype: Num | Num: 0.00 | 0x503000000f10 | { (nil) | (nil) } }", fontsize = 18, style = filled, fillcolor = lightskyblue, shape = Mrecord]
	"0x503000001240" -> "0x503000000ee0"
	"0x503000000ee0" [label = "{ Nodetype: Function | TypeFunction: ln | 0x503000000ee0 | { 0x503000000d90 | (nil) } }", fontsize = 18, style = filled, fillcolor = orange, shape = Mrecord]
	"0x503000000ee0" -> "0x503000000d90"
	"0x503000000d90" [label = "{ Nodetype: Operation | TypeOperation: - | 0x503000000d90 | { 0x503000000dc0 | 0x503000000e50 } }", fontsize = 18, style = filled, fillcolor = crimson, shape = Mrecord]
	"0x503000000d90" -> "0x503000000dc0"
	"0x503000000dc0" [label = "{ Nodetype: Operation | TypeOperation: ^ | 0x503000000dc0 | { 0x503000000df0 | 0x503000000e20 } }", fontsize = 18, style = filled, fillcolor = crimson, shape = Mrecord]
	"0x503000000dc0" -> "0x503000000df0"
	"0x503000000df0" [label = "{ Nodetype: Variable | Var: x | 0x503000000df0 | { (nil) | (nil) } }", fontsize = 18, style = filled, fillcolor = green, shape = Mrecord]
	"0x503000000dc0" -> "0x503000000e20"
	"0x503000000e20" [label = "{ Nodetype: Num | Num: 3.00 | 0x503000000e20 | { (nil) | (nil) } }", fontsize = 18, style = filled, fillcolor = lightskyblue, shape = Mrecord]
	"0x503000000d90" -> "0x503000000e50"
	"0x503000000e50" [label = "{ Nodetype: Operation | TypeOperation: * | 0x503000000e50 | { 0x503000000e80 | 0x503000000eb0 } }", fontsize = 18, style = filled, fillcolor = crimson, shape = Mrecord]
	"0x503000000e50" -> "0x503000000e80"
	"0x503000000e80" [label = "{ Nodetype: Num | Num: 2.00 | 0x503000000e80 | { (nil) | (nil) } }", fontsize = 18, style = filled, fillcolor = lightskyblue, shape = Mrecord]
	"0x503000000e50" -> "0x503000000eb0"
	"0x503000000eb0" [label = "{ Nodetype: Variable | Var: x | 0x503000000eb0 | { (nil) | (nil) } }", fontsize = 18, style = filled, fillcolor = green, shape = Mrecord]
	"0x503000001270" -> "0x503000000d60"
	"0x503000000d60" [label = "{ Nodetype: Operation | TypeOperation: * | 0x503000000d60 | { 0x503000000d30 | 0x503000000820 } }", fontsize = 18, style = filled, fillcolor = crimson, shape = Mrecord]
	"0x503000000d60" -> "0x503000000d30"
	"0x503000000d30" [label = "{ Nodetype: Operation | TypeOperation: * | 0x503000000d30 | { 0x503000000d00 | 0x503000000b50 } }", fontsize = 18, style = filled, fillcolor = crimson, shape = Mrecord]
	"0x503000000d30" -> "0x503000000d00"
	"0x503000000d00" [label = "{ Nodetype: Operation | TypeOperation: / | 0x503000000d00 | { 0x503000000cd0 | 0x503000000b80 } }", fontsize = 18, style = filled, fillcolor = crimson, shape = Mrecord]
	"0x503000000d00" -> "0x503000000cd0"
	"0x503000000cd0" [label = "{ Nodetype: Num | Num: 1.00 | 0x503000000cd0 | { (nil) | (nil) } }", fontsize = 18, style = filled, fillcolor = lightskyblue, shape = Mrecord]
	"0x503000000d00" -> "0x503000000b80"
	"0x503000000b80" [label = "{ Nodetype: Operation | TypeOperation: - | 0x503000000b80 | { 0x503000000bb0 | 0x503000000c40 } }", fontsize = 18, style = filled, fillcolor = crimson, shape = Mrecord]
	"0x503000000b80" -> "0x503000000bb0"
	"0x503000000bb0" [label = "{ Nodetype: Operation | TypeOperation: ^ | 0x503000000bb0 | { 0x503000000be0 | 0x503000000c10 } }", fontsize = 18, style = filled, fillcolor = crimson, shape = Mrecord]
	"0x503000000bb0" -> "0x503000000be0"
	"0x503000000be0" [label = "{ Nodetype: Variable | Var: x | 0x503000000be0 | { (nil) | (nil) } }", fontsize = 18, style = filled, fillcolor = green, shape = Mrecord]
	"0x503000000bb0" -> "0x503000000c10"
	"0x503000000c10" [label = "{ Nodetype: Num | Num: 3.00 | 0x503000000c10 | { (nil) | (nil) } }", fontsize = 18, style = filled, fillcolor = lightskyblue, shape = Mrecord]
	"0x503000000b80" -> "0x503000000c40"
	"0x503000000c40" [label = "{ Nodetype: Operation | TypeOperation: * | 0x503000000c40 | { 0x503000000c70 | 0x503000000ca0 } }", fontsize = 18, style = filled, fillcolor = crimson, shape = Mrecord]
	"0x503000000c40" -> "0x503000000c70"
	"0x503000000c70" [label = "{ Nodetype: Num | Num: 2.00 | 0x503000000c70 | { (nil) | (nil) } }", fontsize = 18, style = filled, fillcolor = lightskyblue, shape = Mrecord]
	"0x503000000c40" -> "0x503000000ca0"
	"0x503000000ca0" [label = "{ Nodetype: Variable | Var: x | 0x503000000ca0 | { (nil) | (nil) } }", fontsize = 18, style = filled, fillcolor = green, shape = Mrecord]
	"0x503000000d30" -> "0x503000000b50"
	"0x503000000b50" [label = "{ Nodetype: Operation | TypeOperation: - | 0x503000000b50 | { 0x503000000af0 | 0x5030000008b0 } }", fontsize = 18, style = filled, fillcolor = crimson, shape = Mrecord]
	"0x503000000b50" -> "0x503000000af0"
	"0x503000000af0" [label = "{ Nodetype: Operation | TypeOperation: * | 0x503000000af0 | { 0x503000000ac0 | 0x503000000a90 } }", fontsize = 18, style = filled, fillcolor = crimson, shape = Mrecord]
	"0x503000000af0" -> "0x503000000ac0"
	"0x503000000ac0" [label = "{ Nodetype: Num | Num: 3.00 | 0x503000000ac0 | { (nil) | (nil) } }", fontsize = 18, style = filled, fillcolor = lightskyblue, shape = Mrecord]
	"0x503000000af0" -> "0x503000000a90"
	"0x503000000a90" [label = "{ Nodetype: Operation | TypeOperation: ^ | 0x503000000a90 | { 0x503000000a60 | 0x503000000a30 } }", fontsize = 18, style = filled, fillcolor = crimson, shape = Mrecord]
	"0x503000000a90" -> "0x503000000a60"
	"0x503000000a60" [label = "{ Nodetype: Variable | Var: x | 0x503000000a60 | { (nil) | (nil) } }", fontsize = 18, style = filled, fillcolor = green, shape = Mrecord]
	"0x503000000a90" -> "0x503000000a30"
	"0x503000000a30" [label = "{ Nodetype: Num | Num: 2.00 | 0x503000000a30 | { (nil) | (nil) } }", fontsize = 18, style = filled, fillcolor = lightskyblue, shape = Mrecord]
	"0x503000000b50" -> "0x5030000008b0"
	"0x5030000008b0" [label = "{ Nodetype: Num | Num: 2.00 | 0x5030000008b0 | { (nil) | (nil) } }", fontsize = 18, style = filled, fillcolor = lightskyblue, shape = Mrecord]
	"0x503000000d60" -> "0x503000000820"
	"0x503000000820" [label = "{ Nodetype: Function | TypeFunction: ln | 0x503000000820 | { 0x503000000730 | (nil) } }", fontsize = 18, style = filled, fillcolor = orange, shape = Mrecord]
	"0x503000000820" -> "0x503000000730"
	"0x503000000730" [label = "{ Nodetype: Operation | TypeOperation: + | 0x503000000730 | { 0x503000000760 | 0x5030000007f0 } }", fontsize = 18, style = filled, fillcolor = crimson, shape = Mrecord]
	"0x503000000730" -> "0x503000000760"
	"0x503000000760" [label = "{ Nodetype: Operation | TypeOperation: * | 0x503000000760 | { 0x503000000790 | 0x5030000007c0 } }", fontsize = 18, style = filled, fillcolor = crimson, shape = Mrecord]
	"0x503000000760" -> "0x503000000790"
	"0x503000000790" [label = "{ Nodetype: Num | Num: 5.00 | 0x503000000790 | { (nil) | (nil) } }", fontsize = 18, style = filled, fillcolor = lightskyblue, shape = Mrecord]
	"0x503000000760" -> "0x5030000007c0"
	"0x5030000007c0" [label = "{ Nodetype: Variable | Var: x | 0x5030000007c0 | { (nil) | (nil) } }", fontsize = 18, style = filled, fillcolor = green, shape = Mrecord]
	"0x503000000730" -> "0x5030000007f0"
	"0x5030000007f0" [label = "{ Nodetype: Num | Num: 2.00 | 0x5030000007f0 | { (nil) | (nil) } }", fontsize = 18, style = filled, fillcolor = lightskyblue, shape = Mrecord]
	"0x5030000012a0" -> "0x503000000700"
	"0x503000000700" [label = "{ Nodetype: Operation | TypeOperation: ^ | 0x503000000700 | { 0x5030000006d0 | 0x503000000550 } }", fontsize = 18, style = filled, fillcolor = crimson, shape = Mrecord]
	"0x503000000700" -> "0x5030000006d0"
	"0x5030000006d0" [label = "{ Nodetype: Function | TypeFunction: ln | 0x5030000006d0 | { 0x503000000580 | (nil) } }", fontsize = 18, style = filled, fillcolor = orange, shape = Mrecord]
	"0x5030000006d0" -> "0x503000000580"
	"0x503000000580" [label = "{ Nodetype: Operation | TypeOperation: - | 0x503000000580 | { 0x5030000005b0 | 0x503000000640 } }", fontsize = 18, style = filled, fillcolor = crimson, shape = Mrecord]
	"0x503000000580" -> "0x5030000005b0"
	"0x5030000005b0" [label = "{ Nodetype: Operation | TypeOperation: ^ | 0x5030000005b0 | { 0x5030000005e0 | 0x503000000610 } }", fontsize = 18, style = filled, fillcolor = crimson, shape = Mrecord]
	"0x5030000005b0" -> "0x5030000005e0"
	"0x5030000005e0" [label = "{ Nodetype: Variable | Var: x | 0x5030000005e0 | { (nil) | (nil) } }", fontsize = 18, style = filled, fillcolor = green, shape = Mrecord]
	"0x5030000005b0" -> "0x503000000610"
	"0x503000000610" [label = "{ Nodetype: Num | Num: 3.00 | 0x503000000610 | { (nil) | (nil) } }", fontsize = 18, style = filled, fillcolor = lightskyblue, shape = Mrecord]
	"0x503000000580" -> "0x503000000640"
	"0x503000000640" [label = "{ Nodetype: Operation | TypeOperation: * | 0x503000000640 | { 0x503000000670 | 0x5030000006a0 } }", fontsize = 18, style = filled, fillcolor = crimson, shape = Mrecord]
	"0x503000000640" -> "0x503000000670"
	"0x503000000670" [label = "{ Nodetype: Num | Num: 2.00 | 0x503000000670 | { (nil) | (nil) } }", fontsize = 18, style = filled, fillcolor = lightskyblue, shape = Mrecord]
	"0x503000000640" -> "0x5030000006a0"
	"0x5030000006a0" [label = "{ Nodetype: Variable | Var: x | 0x5030000006a0 | { (nil) | (nil) } }", fontsize = 18, style = filled, fillcolor = green, shape = Mrecord]
	"0x503000000700" -> "0x503000000550"
	"0x503000000550" [label = "{ Nodetype: Num | Num: 2.00 | 0x503000000550 | { (nil) | (nil) } }", fontsize = 18, style = filled, fillcolor = lightskyblue, shape = Mrecord]
}
